منابع مشابه
Algèbres de réalisabilité: un programme pour bien ordonner R
Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...
متن کاملUne carotidodynie révélant une artérite de Takayasu chez un homme de 54 ans
L'artérite de Takayasu (AT) est une panartérite inflammatoire rare de cause inconnue, touchant les artères de gros et de moyen calibre. Elle survient essentiellement chez la femme jeune. Sa survenue chez la population masculine est rarement rapportée. Un homme âgé de 54 ans était hospitalisé pour carotidodynie gauche associée à un amaigrissement de 18 kg en six mois. L'examen clinique était san...
متن کاملétude de la dimension tensive de l’énonciation dans un homme qui dort de georges perec
l’intérêt de ce bref article consiste à expliciter, dans la mesure du possible, la production et la saisie du sens caché à travers l’étude de la relation des valeurs dans la dimension tensive et sous l’angle sémiotique sensible. nous allons montrer que la perspective de la sémiotique sensible et perceptive fondée sur la phénoménologie peut répondre à toutes les exigences de la compréhension du ...
متن کاملSIMDIAL - Un paradigme pour évaluer automatiquement des systèmes de dialogue homme-machine en simulant un utilisateur de façon déterministe
In this paper we present SIMDIAL, a paradigm to assess Spoken Language Dialogue Systems (SLDSs) using deterministic user simulation. The paradigm allows automatic or semiautomatic evaluation on different tasks and uses natural langage to interact with evaluated SLDSs. MOTS-CLÉS : Paradigme d’évaluation, systèmes de dialogue homme-machine, simulation déterministe d’utilisateurs, évaluation autom...
متن کاملCas rare de sangsue laryngée chez un homme de 70 ans
Résumé La dyspnée laryngée représente une urgence extrême en otorhinolaryngologies. Elle répond à des étiologies multiples et reste souvent graves. La dyspnée laryngée causée par une sangsue est exceptionnellement décrite dans la littérature surtout chez l’adulte. Nous rapportons une observation particulière d’infestation de l’arbre respiratoire par une sangsue ayant entraîné une dyspnée laryngée.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin d'histoire contemporaine de l'Espagne
سال: 2017
ISSN: 0987-4135,1968-3723
DOI: 10.4000/bhce.1079